Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
891	Minlog – A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto2∗ , Helmut Schwichtenberg2 , and Monika Seisenberger1 2 ∗ Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-24 06:38:03 Formal languages Theoretical computer science
892	Unified Querying of Ontology Languages with the SIRUP Ontology Query API Patrick Ziegler Christoph Sturm Add to Reading List Source URL: subs.emis.de Language: English - Date: 2013-10-04 10:30:54 Data Upper ontology Semantic interoperability Semantic integration Ontology engineering Formal ontology Ontology Information Science
893	Comparison between CFG filtering techniques for LTAG and HPSG Kentaro Torisawa‡ Naoki Yoshinaga† Jun’ichi Tsujii†∗ † University of Tokyo ‡ Japan Advanced Institute ∗ CREST, JST (Japan Science Add to Reading List Source URL: aclweb.org Language: English - Date: 2010-06-15 02:36:50 Grammar Compiler construction Parsing Head-driven phrase structure grammar Parse tree Tree-adjoining grammar Formal grammar Treebank Weak equivalence Linguistics Generative linguistics Formal languages
894	Musa Ibrahim M. Ishag, PhD student, Database/Bioinformatics Laboratory, Chungbuk National University, Korea E-mail: Ibrahim Musa received his BSc in computer science from Sudan University of S Add to Reading List Source URL: www.apan.net Language: English - Date: 2014-01-21 04:29:15 Education Cheongju Chungbuk National University Data mining Bioinformatics National university North Chungcheong Province Academia Formal sciences Knowledge
895	Microsoft Word - Raskutti2013.docx Add to Reading List Source URL: www.statsoc.org.au Language: English - Date: 2014-03-27 20:56:36 Data analysis Formal sciences Data mining Text mining Predictive modelling Analytics Statistics Business intelligence Science
896	A Generative Model for Parsing Natural Language to Meaning Representations Luke S. Zettlemoyer Wei Lu1 , Hwee Tou Ng1,2 , Wee Sun Lee1,2 1 CSAIL Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-26 20:13:47 Computational linguistics Speech recognition Cognitive science Semantics Analogy Modal logic N-gram Minimalist program Formal grammar Linguistics Science Logic
897	Structural Recursion over Contextual Objects Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel School of Computer Science Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-20 17:12:51 Functions and mappings Model theory Formal languages Metalogic Computability theory Symbol Interpretation Primitive recursive function Substitution Logic Mathematics Mathematical logic
898	Context-Free Languages∗ Jean Berstel Luc Boasson June 8, 2008 Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-06-08 00:54:52 Linguistics Context-free grammar Formal grammar Linear grammar Pushdown automaton Ambiguous grammar Controlled grammar Context-sensitive grammar Formal languages Grammar Theoretical computer science
899	The World and the Machine Michael Jackson MAJ Consulting Ltd 101 Hamilton Terrace London NW8 9QX England Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-06-11 05:33:22 Software Software requirements Formal methods Software engineering Enterprise modelling Requirement Software development process Software design Mind Software development Systems engineering Science
900	Fritz Obermeyer, Inference Engineer http://fritzo.org Add to Reading List Source URL: fritzo.org Language: English - Date: 2015-01-13 11:15:54 Science Formal methods Automated theorem proving Reasoning Statistical inference Bayesian network Inference Bayesian inference Statistical classification Statistics Logic Bayesian statistics

UPDATE